direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Inhalt des Dokuments

Publikationen

On Process-Algebraic Proof Methods for Fault Tolerant Distributed Systems
Zitatschlüssel DBLP:conf/forte/KuhnrichN09
Autor Morten Kühnrich and Uwe Nestmann
Buchtitel FMOODS/FORTE
Seiten 198-212
Jahr 2009
Link zur Originalpublikation Download Bibtex Eintrag

Zusatzinformationen / Extras

Direktzugang

Schnellnavigation zur Seite über Nummerneingabe